形式化语言在UMTS开发中的应用

由于3G协议规范的复杂性，3GPP方法论指导方针中鼓励使用标准的形式化语言来进行UMTS产品的设计、开发与测试。文中概要性地描述了UMTS的体系结构和在规范描述中用到的一些形式化语言的基本概念和特点，探讨了这些形式化语言在UMTS开发中的应用。使用形式化语言开发UMTS可以简化和改进测试程序，实现新产品与新标准的同步推出。     

炼钢工序的变化与挑战——柳钢"十五"期间炼钢的进步与工艺特点

简述了炼钢工序在柳钢"十五"期间工艺和装备的变化及其特点.对工序变化进行了初步分析.     

用视频显微镜测试棉纤维成熟度

对比分析了用视频显微镜、普通生物显微镜测试棉纤维成熟度的方法和特点。试验表明，视频显微镜法比普通生物显微镜法较为方便和快捷，精确度高，适合棉纤维成熟度测试与分析。     

Determining stress intensity factors of composites using crack opening displacement

The main purpose of this paper is to find the mixed-mode stress intensity factors of composite materials using the crack opening displacement (COD). First, a series solution of the composite material with a crack was used to evaluate COD values. Then, the least-squares method was used to calculate mixed-mode stress intensity factors. This algorithm can be applied to any method that generates or measures COD values. The major advantage of this method is that COD values very near the crack tip are not necessary. Both finite element simulations and laboratory experiments were applied to validate this least-squares method with acceptable accuracy if the even terms of the series solution are removed.     

基于Luv色度坐标图像分割方法的孔洞参数计算

针对成像测井解释中孔洞参数定量计算的准点，提出用基于Luv色度坐标进行图像分割的方法来定量计算孔洞的面积、面孔率等相关参数。采用该方法得到的孔洞结果目标区域完整，可以方便地计算出孔洞面积和面孔率等参数。     

基于非接触精密视觉测量的硬盘磁头头偏测量系统

应用基于机器视觉的非接触测量技术对计算机硬盘磁头的头偏测量，不仅满足了磁头生产防污、防ESD的需要，而且实现了精密测量的需要；对测量数据的采集处理以及SPC实时监控，有效地实现了生产过程的控制和预报；与FIS系统的连接实现了生产数据的可追溯性，为生产管理现代化提供一个强有力的工具。系统已广泛应用于硬盘磁头生产线。     

基于纠错编码和小波变换的数字图像水印算法

文章提出了一种基于小波变换和纠错编码的数字图像水印算法,该算法不需要利用原始图像。实验结果表明,该算法较好地保持了图像的质量,并大大提高了检测的可靠性,对常见的图像处理方法显示了较强的鲁棒性。     

组织协同进化分类算法用于雷达目标一维像识别

针对雷达目标一维像识别问题，提出了一种基于组织协同进化分类算法的识别方法．该方法与现有进化分类方法的不同之处在于它的进化操作直接作用于样本而不是规则，采用了一种自下而上的搜索机制，即先使若干样本的集合得到进化，再从进化结果中提取规则．这样有利于避免在进化过程中产生无意义的规则．该方法不需要进行特征提取；对于高维数据，不需要预先进行降维处理；没有复杂的运算，训练和识别的速度都很快．对3种飞机微波暗室实测数据的识别实验表明，该方法性能稳定，优于基于支撑矢量机与子波核函数的方法，识别率均达到了96％以上．实验中还对算法的抗噪能力进行了测试，获得了良好的效果．     

Heat transfer mechanism of a swirling impinging jet in a stagnation region

Heat transfer characteristics of a swirling impinging jet have been experimentally examined using a combined particle image velocimetry (PIV) and laser‐induced fluorescence (LIF) technique for simultaneous measurement of velocity and temperature fields. The present study shows that the radial width of the jet stretches with increasing swirl intensity, and that the stretching phenomenon contributes to the maximum local heat transfer coefficient. At the stagnation region, the flow near the heated surface is mixed intermittently by reverse flows toward upstream, and spatial distributions of temperature are correlated with instantaneous velocity vector maps. The dynamic behavior of recirculation zones, attributed to swirl number Sw and impinging distance, mainly determines the turbulent heat transfer at the stagnation region. © 2003 Wiley Periodicals, Inc. Heat Trans Asian Res, 32(8): 663–673, 2003; Published online in Wiley InterScience ( www.interscience.wiley.com ). DOI 10.1002/htj.10120     

伪彩色数字高程模型在工业CT断层图像检查中的应用

在工业CT断层图像缺陷检测应用中，提出了将数字高程模型DEM与伪彩色技术一起应用于二维灰度图像缺陷检测领域的算法流程。应用该算法流程，能够充分利用CT断层灰度图像信息，获得清晰的视觉检查效果，从而大大增强了系统检测缺陷的能力。在大型工业CT图像重建与检查分系统中采用该算法流程已经取得了较为理想的效果。